safety code

Since the language-based proof system of the safety policy is founded on the annotated target code, algorithms implemented in the certifying compiler thus may be useful in a system for safe mobile code.

由于基于语言安全策略系统的证明是建立在携带注解的代码基础之上的，因此该认证编译器中实现的算法在移动代码安全检查中非常有用。

互联网摘选

Technical code for design and construction of expressway safety appurtenances

高速公路交通安全设施设计及施工技术规范

互联网摘选

Rectification of Margin of Safety in Code for Design of Concrete Structure

混凝土结构设计规范安全度的调整

互联网摘选

Real Time Simulation and Safety Analysis Code for the PWR Core

压水堆堆芯安全分析程序实时仿真的分析研究

互联网摘选

Design from ASP one's own security, database security and code safe three respect analyse ASP common potential safety hazard of the programming and propose: The text frame name don't be like the field name in the data table;

从ASP自身安全、数据库安全及代码设计安全三方面分析了ASP编程中常见的安全隐患，并建议：提交表单中的文本框名称不要与数据表中的字段名一样；

互联网摘选

Analyzed the international code's background of the managerial modernization, advanced that use compute network technology to aid safety management is an important method to make the safety management modernized.

分析了管理现代化的规则背景，提出将计算机及网络技术引入管理体系，对推动船舶安全管理现代化具有巨大的促进作用。

互联网摘选

This paper first introduced the function, main parameters and flow chart of the CARR ECCS, consider-ing the nuclear safety code and guide.

本文以核安全法规和导则为前提，以满足系统功能为基础，首先介绍了CARR应急堆芯冷却系统的功能、主要参数和流程。

互联网摘选

Safety code of practice for electric chain saws

GB17668-1999电链锯使用安全规程

互联网摘选

Safety and the reliability design method in Chinese building code for concrete structures

混凝土结构的安全性与规范的可靠度设计方法

互联网摘选

Slope safety factor by methods of particle flow code strength reduction and gravity increase

颗粒流强度折减法和重力增加法的边坡安全系数研究

互联网摘选

The secured area should meet all life safety code egress requirements.

受保护区域要满足所有的生命安全法规对出口的要求.

网络文摘精选